home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / man1 / sml.1 < prev   
Encoding:
Text File  |  1995-12-30  |  1.2 KB  |  52 lines  |  [TEXT/R*ch]
  1. .TH SML 1 "version 0.75, November 8, 1991"
  2. .SH NAME
  3. sml, smld, smlc \(mi Standard ML compiler
  4. .SH SYNOPSIS
  5. .B sml
  6. [
  7. .I options
  8. ]
  9. .br
  10. .B smld
  11. [
  12. .I options
  13. ]
  14. .br
  15. .B smlc
  16. .br
  17. .SH DESCRIPTION
  18. .I sml
  19. is the Standard ML of New Jersey compiler.
  20. It is an incremental, interactive compiler and accepts declarations and expressions
  21. to be evaluated from standard input.
  22. While there are no standard command line options, the command line arguments
  23. are available to ML programs by calling the function
  24. .RS .5i
  25. System.argv : unit -> string
  26. .RE
  27. The Unix environment variables can be obtained by calling the function
  28. .RS .5i
  29. System.environ : unit -> string list
  30. .RE
  31. .PP
  32. .I smld
  33. is a version of the interactive system with the debugger loaded.
  34. .PP
  35. .I smlc
  36. is the batch compiler.
  37. This is normally used for compiling the compiler.
  38. .SH "SEE ALSO"
  39. makeml(1)
  40. .br
  41. Robert Harper, Robin Milner, and Mads Tofte,
  42. `The Definition of Standard ML',
  43. MIT Press.
  44. .br
  45. L.C. Paulson, ``ML for the Working Programmer,'' Cambridge Univ. Press.
  46. .br
  47. Andrew P. Tolmach and Adam T. Dingle, ``Debugging in Standard ML of New Jersey.''
  48. .SH DIAGNOSTICS
  49. The diagnostics produced by
  50. .I sml
  51. itself are intended to be self-explanatory.
  52.